- program(me) checking
- (autom) verificare după (conform unui) program
English-Romanian technical dictionary. 2013.
program(me) checking
Look at other dictionaries:
checking program — noun a program that examines other computer programs for syntax errors • Hypernyms: ↑program, ↑programme, ↑computer program, ↑computer programme * * * checking program UK US noun [countable] [sing … Useful english dictionary
checking program — UK / US noun [countable] Word forms checking program : singular checking program plural checking programs computing a piece of software that finds mistakes in computer programs … English dictionary
ChecKing — is a web application developed by optimyth intended for monitoring the quality of software development process and its results, that covers the needs of organizations that want to control software quality before it is put into production. To do… … Wikipedia
program — I noun 1. a series of steps to be carried out or goals to be accomplished (Freq. 106) they drew up a six step plan they discussed plans for a new bond issue • Syn: ↑plan, ↑programme • Derivationally related for … Useful english dictionary
Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program … Wikipedia
checking routine — kontrolės programa statusas T sritis automatika atitikmenys: angl. check program; check routine; checking routine vok. Kontrollgramm, n; Prüfprogramm, n; Testprogramm, n rus. контролирующая программа, f; программа контроля, f pranc. programme de… … Automatikos terminų žodynas
checking program — computer program which proof reads documents … English contemporary dictionary
dictionary program — program for translation or spell checking … English contemporary dictionary
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Taint checking — is a feature in some computer programming languages, such as Perl and Ruby, designed to increase security by preventing malicious users from executing commands on a host computer. Taint checks highlight specific security risks primarily… … Wikipedia
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
